package sketch.issta11.specifyoracles;

import junit.framework.Test;
import junit.framework.TestCase;
import junit.framework.TestSuite;

public class SpecifyOraclesTestAll extends TestCase {

	public static Test suite() {
		TestSuite suite = new TestSuite();
		suite.addTest(ObserverOraclesTest.suite());
		suite.addTest(TryCatchTest.suite());
		return suite;
	}
}